MORENO-NAVARRO, JUAN JOSÉ: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Logic programming with functions and predicates: The language Babel

Juan Jose Moreno-Navarro, Mario Rodriguez-Artalejo

Journal:

The Journal of Logic Programming

Year:

1992

Language:

english

File:

PDF, 2.04 MB

english, 1992

2

The functional logic language BABEL and its implementation on a graph machine

Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo

Journal:

New Generation Computing

Year:

1996

Language:

english

File:

PDF, 1.88 MB

english, 1996

3

Extending Constructive Logic Negation with Types

Susana Munoz-Hernandez, Juan José Moreno-Navarro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 376 KB

english, 2009

4

A Coding Rule Conformance Checker Integrated into GCC

Guillem Marpons, Julio Mariño, Manuel Carro, Ángel Herranz, Lars-Åke Fredlund, Juan José Moreno-Navarro, Álvaro Polo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 245 KB

english, 2009

5

Implementing Constructive Intensional Negation

Julio Mariño, Juan José Moreno-Navarro, Susana Munoz-Hernandez

Journal:

New Generation Computing

Year:

2008

Language:

english

File:

PDF, 655 KB

english, 2008

6

Preface

Lars-Henrik Eriksson, Juan José Moreno-Navarro

Journal:

Computer Languages

Year:

1997

Language:

english

File:

PDF, 96 KB

english, 1997

7

[ACM Press the ACM SIGPLAN workshop - Victoria, BC, Canada (2008.09.20-2008.09.20)] Proceedings of the ACM SIGPLAN workshop on Generic programming - WGP '08 - Bialgebra views

Nogueira, Pablo, Moreno-Navarro, Juan José

Year:

2008

Language:

english

File:

PDF, 353 KB

english, 2008

8

[IEEE 2014 First International Conference on eDemocracy & eGovernment (ICEDEG) - Quito, Ecuador (2014.4.24-2014.4.25)] 2014 First International Conference on eDemocracy & eGovernment (ICEDEG) - On the role of R&D in e-government in Ecuador: Strategic plan in ICT for Ecuador in the field of information society and e-government

Moreno-Navarro, Juan Jose, Munive, Jaime Albuja, Alonso Montes, Jose Ignacio, Ibujes Villacis, Juan Marcelo, Casas Jimenez, Carlos Miguel, Urquiza Suarez, Juan Carlos

Year:

2014

Language:

english

File:

PDF, 2.89 MB

english, 2014

9

[ACM Press the 15th Symposium - Madrid, Spain (2013.09.16-2013.09.18)] Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming - PPDP '13 - Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order

García-Pérez, Álvaro, Nogueira, Pablo, Moreno-Navarro, Juan José

Year:

2013

Language:

english

File:

PDF, 1.70 MB

english, 2013

10

Workshop on Integration of Declarative Paradigms

Moreno-Navarro, Juan José

Journal:

The Knowledge Engineering Review

Year:

1995

Language:

english

File:

PDF, 437 KB

english, 1995

11

Demand analysis with partial predicates

MARIÑO, JULIO, HERRANZ, ÁNGEL, MORENO-NAVARRO, JUAN JOSÉ

Journal:

Theory and Practice of Logic Programming

Year:

2007

Language:

english

File:

PDF, 208 KB

english, 2007